Splitting Proofs for Interpolation

We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical strength of the formula from the requirement on the com- mon signature. This allows us to highlight the space of all interpolants that can be extracted from a refutation as a space of simple choices on how to split the refuta- tion into two parts. We use this new insight to develop an algorithm for extracting interpolants which are linear in the size of the input refutation and can be further optimized using metrics such as number of non-logical symbols or quantifiers. We implemented the new algorithm in first-order theorem prover VAMPIRE and evaluated it on a large number of examples coming from the first-order proving community. Our experiments give practical evidence that our work improves the state-of-the-art in first-order interpolation.Comment: 26th Conference on Automated Deduction, 201

Home and community based parenting support programmes and interventions: report of Workpackage 2 of the DataPrev project

The last decade has witnessed an increasing interest in the promotion of mental health and wellbeing because of its importance for health and social functioning at the individual level and for the social and economic wellbeing of societies. Recent research from a range of disciplines has highlighted the importance of the quality of the parent-child relationships and parenting on children‟s emotional and social development, and on adult mental health and wellbeing. Intervention studies involving children of all age groups have shown that if parenting can be influenced for the better outcomes can be changed. The DataPrev project was funded by the 6th Framework of the European Community Research Programme under Policy-Orientated Research with the aim of establishing a database of evidence-based programmes in Europe that promote mental health and wellbeing and prevent mental illness throughout the life course. This is the report of the Workpackage 2 describing the international evidence base on programmes to support parenting, including home and community based programmes

Sierra Nevada snow melt from SMS-2

A film loop from SMS-2 imagery shows snow melt over the Sierra Nevadas from May 10 to July 8, 1975. The sequence indicates a successful application of geostationary satellite data for monitoring dynamic hydrologic conditions

Remote sensing of snowpack density using shortwave radiation

Albedo or satellite radiance measurements can be used to estimate average snowpack density by means of a multiple linear equation. The in situ data equation predicted density with a correlation (sq r) of 0.79 and a standard error of 0.027 gm/cu cm. The data from LANDSAT-1 were not as significant in a similar equation, possibly because of the large field of view

The relationship between the insulin-like growth factor-1 axis, weight loss, an inflammation-based score and survival in patients with inoperable non-small cell lung cancer

<b>Background & aims:</b> The involvement of a systemic inflammatory response, as evidenced by the Glasgow Prognostic Score (GPS), is associated with weight loss and poor outcome in patients with non-small cell lung cancer. There is good evidence that nutritional and functional decline in patients with advanced malignant disease is associated with catabolic changes in metabolism. However, defects in anabolism may also contribute towards nutritional decline in patients with cancer. The aim of the present study was to examine the relationship between IGF-1 and IGFBP-3, performance status, mGPS and survival in patients with inoperable NSCLC. <b>Methods:</b> 56 patients with inoperable NSCLC were studied. The plasma concentrations of IGF-1, IGFBP-3 and leptin were measured using ELISA and RIA. <b>Results:</b> The patients were predominantly male (61%), over 60 years old (80%), with advanced (stage III or IV) disease (98%), with a BMI≥20 (84%), an ECOG-ps of 0 or 1 (79%), a haemoglobin (59%) and white cell count (79%) in the reference range. On follow-up 43 patients died of their cancer. On univariate analysis, BMI (p<0.05), Stage (p<0.05), ECOG-ps (p<0.05), haemoglobin (p<0.05), white cell count (p<0.05) and mGPS (p<0.05) were associated with cancer specific survival. There was no association between age, sex, treatment, IGF-1, IGFBP-3, IGF-1:IGFBP-3 ratio, or leptin and cancer specific survival. With an increasing mGPS concentrations of haemoglobin (p<0.005) and IGFBP-3 (p<0.05) decreased. mGPS was not associated with either IGF-1(p>0.20), or leptin (p>0.20). <b>Conclusions:</b> In summary, the results of this study suggest that anabolism (IGF-1 axis) does not play a significant role in the relationship between nutritional and functional decline, systemic inflammation and poor survival in patients with inoperable NSCLC

Commercial hospitality : a vehicle for the sustainable empowerment of Nepali women

To illustrate how commercial hospitality has catalysed sustainable social change in Nepal through empowering women. Utilising a new framework, developed by combining existing theories, empowerment of women Tea House owners/ managers is assessed. Within a critical feminist paradigm, primary research consisting of interviews and participant observation was undertaken in Nepal over a three month period in the central region of Nepal. Involvement in the hospitality industry improved the livelihoods of the women Tea House owners/ managers, it also has the potential to facilitate sustainable empowerment for future generations, providing them with education, choice, control and opportunities. Although steps were taken to limit rhetorical issues, language barriers could have influenced the findings of the interviews. To fully investigate the potential for hospitality to act as a vehicle for the sustainable empowerment of women, it is suggested that this study be replicated again in another region or that a detailed ethnographic study be carried out. Demonstrates how the commercial hospitality industry can be a force for good; women working in the industry are agents of change, actively improving their levels of empowerment in their immediate environment. The commercial hospitality industry has pioneered the empowerment of women and this could lay the foundation for the further emancipation of women. To date, there has been limited research into the relationship between involvement in the commercial hospitality sector and the empowerment of women; this paper begins to fill this gap by investigating a tourist region of Nepal

‘Pocket and Pot’: Hypothetical Bias in a No-Free-Riding Public Contribution Game

Hypothetical bias arises when values which people say they place on a good or service differ systematically from the values people reveal for the same good or service through actual, binding economic transactions. Studies of hypothetical bias with respect to public goods often use charitable contributions or other relatively unique goods and these studies employ a variety of mechanisms to elicit the stated and revealed values. This study proposes the inclusion of a free-rider barring random dictatorship mechanism in the standard public contribution game to investigate the issue of bias when a public good involves immediate monetary returns to subjects. Steps are taken to make the game have the look and feel of a real-world tradeoff between private investment and public good provision. Data for the experiment were collected using a sample of students from the University of Alberta. A statistically significant negative hypothetical bias is found for the first hypothetical and the first real rounds of the game. The bias decays in subsequent round pairs, oscillating around zero.Resource /Energy Economics and Policy,

Complexing additives to reduce the immiscible phase formed in the hybrid ZnBr2 flow battery

The zinc-bromine redox flow battery (RFB) is one of a very few commercially viable RFB energy storage system capable of integration with intermittent renewable energy sources to deliver improved energy management. However, due to the volatility of the electrogenerated bromine and potential for its crossover from positive to negative electrolytes, this system requires the use of quaternary ammonium complexes (N-methyl-N-ethylpyrrolidinium, (MEP)) to capture this bromine. This produces an immiscible phase with the Br2 which requires a complex network of pipes, pumps and automated controls to ensure access to the electroactive material during discharge. In this work, the use of novel quaternary ammonium complexes to capture the electrogenerated bromine but to keep it in the aqueous phase is examined. Three compounds, 1-(carboxymethyl) pyridine-1-ium, 1-(2-carboxymethyl)-1-methylmorpholin-1-ium and 1-(2-carboxymethyl)-1-methylpyrrolidin-1-ium, were found to successfully reduce the volume of the immiscible phase formed on complexing with the polybromide (Brx-) whilst displaying similar enthalpy of vaporisation values as that of MEP. Electrochemical analysis also revealed that these compounds did not impact on the electrode kinetics of the Br-/Brx- reaction indicating that the resulting surface film formed with these compounds behaved as a chemically modified electrode, in contrast to the surface film formed with MEP